Added run/kill/shell to the stratuslab frontend script
Updated sage-patchbot construction script for Ubuntu 14.04 + little improvements