mv pse/{,PSE}ModelBuilder.java
Introduce PSEModelExplorer, with some functionality having been delegated from PSEModelBuilder.
Add very primitive PSEFastAdaptiveUniformisation.

Features missing:
- Decomposing the parameter space.
- Cumulative prob loss instead of subtracting from 1.0.
- Support for model-checking or synthesis techniques.
- Converting into array when no states added/removed for a long time.
Turn PSEFastAdaptiveUniformisation into a final class.
Improve PSEModel code.
Correct visiblity of *Synthesis methods.
Minor code improvements.
An unsuccessful attempt to compute total probability loss.
Decomposition for PSE+FAU and other improvements.
Merge branch 'fau' into develop

PSE+FAU is far from complete:
- Only transient analysis is supported.  Model checking
  or synthesis techniques still cannot take advantage
  of FAU.
- Total probability loss is not reported, for I haven't
  found out how to compute it directly (i.e., not by
  subtracting from 1.0).

Furthermore, the most obvious optimisations are missing
as well:
- Transforming the StateProp representation into arrays
  (as in basic FAU) is not implemented.
- Special handling of non-parametrised transitions
  (as in basic PSE) is not implemented.

Conflicts:
	prism/src/pse/PSEModelBuilder.java
Better printing.
Yet another unsuccessful atempt to deal with total probability loss in PSE+FAU.
Merge branch 'fau' into develop