write some sample unit tests
add checkstyle with 1 check (tabs) and fix it so it passes
Merge pull request #256 from dwightguth/checkstyle

add checkstyle with 1 check (tabs) and fix it so it passes
Merge pull request #255 from dwightguth/unit-test2

write some sample unit tests
added more constans in KilProperty.java; renamed @DependsOn and @Provides to mode standard @Requires and @Ensures; @Requires and @Ensures now take an array to allow for multiple constans; used KilProperty in DataStructureToLookupUpdate.java
added MOVIE links to README.md files in Tutorial 3
updated some READMEs in Part 4, but still a lot left
forgot to commit these
renamed and revised all the README files of Tutorial 5
Merge branch 'master' of https://github.com/grosu/k