Merge pull request #1 from mlee284045/mike

moved repository to unforked repository
adding amazon s3 services details
Miguel: created basic registration and login pages
Merge pull request #2 from mlee284045/miguel

Miguel
Created two blank test files
merge commit
models
Merge pull request #3 from mlee284045/isabelle

models
changing main menu to index.html
Merge pull request #4 from mlee284045/miguel

changing main menu to index.html
merge commit
fixed merge conflict