removed obsolete .cc
[discretizations.default] added CachingDefault
* derived classes have to provide
  uncached_solve()
[parameters.base] added <
* we can now use a ParameterType or Parameter
  as a key for maps