STRIKE-GOLDD 4.2.0: simplified code

This new version removes a number of old features that are either no longer necessary, outdated, or have been shown to give unreliable results. The deprecated options include the possibility of decomposition and of replacing states with specific initial conditions. Furthermore, the graphical interfaces have been redesigned, and the documentation has been updated.