Stable

• Deprecates (really, removes) all in-built matrix reduction schemes from all models. Using ATEAMS now requires LinBox.
• Improves Recorder and Player classes for better compression ratios + speed.
• Updates documentation; moves stable version to the main branch.