Harmonise compiler versions

[vilsbole]

Currently contracts are either missing a compiler version or are referencing different ones.
We can harmonise all the contracts to reference the same version (^4.25.0 ?).
For educational purposes it may be useful to keep examples of previous implementations. In order to facilitate maintenance we can even create a corresponding tag or branch each time we update the version.