Beta 7 (Milgram's homotopy classification)

This is a first (and experimental) release. The following classifications of positively curved Eschenburg spaces are supported:
– classification up to homotopy equivalence
– classification up to tangential homotopy equivalence
– classification up homeomorphism
The classification up to homotopy equivalence relies on the polynomial homotopy invariants developed by Milgram. The Kreck-Stolz invariants are used only for the homeomorphism classification.