Merge branch 'rc'
Update Changes file
Bump version: t+
Doc fix
Experiment
Experiment
Github issue #151

Moved wall_proof.txt to theory repository, to resolve Debian
licensing issue.
New build procedure: t+
Removed libmarpa
Packaging
Packaging
Packaging
Packaging
Packaging
Update Libmarpa; packaging
Packaging