A web publishing tool tailored for Amazon S3 website hosting