Meta data changes: Rephrased summary, extended keywords, added location information.
Extended documentation: guide to retrieval of the sources.
Extended documentation: build and installation guide.
Extended documentation: introduction.