REST server for remote execution of shell commands