Clean up README.md file

The README.md file contains a lot of information and good one, too. I am not sure whether it is a good place for all of that, though. Maybe the README.md should be shorter, essentially containing pointers to further documentation etc. and the meat of what we currently have will move somewhere else (maybe into a docs subdir or something).