Fix renaming in unification to make variable names lower case
Beginning of an analysis for DS. (+4 squashed commits)
Squashed commits:
[408a1da] Code cleanup
[63607f8] Code formatting.
[2bbc3dc] Move log-timed into lib-ds
[852803b] Cleanup
Ensure that overloaded rules have the same variable name on the RHS
Formalise the library for storing definitions and properties and looking up definition and properties.
More progress towards a new analysis
Store all signatures.
Remove unused constructors
Have the builder for manual analysis output all stored keys for Declared and Properties
Split storing of signatures from storing of variables
Also rename MatchedVar (RHS of match premises)
Starting to store variables in rules
Mark-vars also works on desugared ast
More analysis.
Merge branch 'master' into new-analysis

* master:
  Remove duplicate version number.
  Configure project building with Maven.
Redo storing of types and type declarations
Draft of a type inference over rules.
More progress in type checking for rules.
Hook new analysis in to replace the automatic analysis.
Mostly working name and type analysis. Does not perform checking on signatures yet.
Work around bug in Stratego concering lets