A REST API to execute shell scripts remotely