Improvements to the docker scripts; use aerofs-upstart.