Merge pull request #1 from p/master

Apparently I have no push access here
Update documentation
Update readme to reflect that documentation is now in the main integrity repository
Remove makefile and htmlize, those are now in the main integrity repository