Rewrite makefile

Code layout has changed and scripting functionality has improved a
lot; furthermore, the usage of different header inclusion styles is now
supported. Documentation is now generated automatically if the 'install-html' or
'install-latex' targets are invoked.
Update makefile
Update README
Create INSTALL
Update INSTALL
Merge branch 'feature/enhanced-makefile' into development