Andromeda with user-specifiable rules fo type theory.

Andromeda documentation 1.0.

This documentation goes with the Andromeda tagged `andromeda-1.0`.

Merge pull request #344 from christopherastone/constants-with-comma

Multiple constants on a line requires commas

Merge pull request #324 from SkySkimmer/cleanup

Pulling as the only non-comment change is that `type constrain` moved from context.ml to tyenv.ml