Version checking

In the installation script, if the version is lower than 7.12, an error
is thrown. Similarly, an error is thrown when running the test suite
with a version lower to 8.1.