aws: various fixes

* Update to tomcat 7.0.42 and upload a binary in an s3 bucket
since older versions are not always kept in the public mirrors
* Update the docs

Signed-off-by: Pierre-Alexandre Meyer <pierre@mouraf.org>