GridUI, a RESTful web service and ubiquitous UI for accessing HPC resources