Minor changes in SC.Base.
Moved Type.Context to Context.
Removed FocPol axiomatisation.
Changed things in decidable.
Fixed import errors in previous commit: changed Type.Context -> Context.
Changed name of universe equality. Moved context splitting and type ordering into separate files.
Removed unsolved metas.
[auto] merge master into gh-pages
[auto] updated html listings