Changed Vaadin version to 7.1.13
Added more documentation
Fixed bug caused by changes to the Security class. Note to self: compile the project before pushing.