Added files from Distributed Systems Project 2.
WEB-INF files for HTTPS added