thanks to @marcodelapierre

This reverts commit 2128bada.

Giving false positive in master branch - no idea why and cannot debug it

This reverts commit 5ba9eb93.

More efficient on travis-ci

When doing plumed patch -e gromacs2016.5 a match with e.g. gromacs2016.4
will be accepted (and issue a WARNING). Useful for automatized patching
procedures.

For instance, in gromacs-plumed package of MacPorts it won't be necessary
to synchronize the Portfile with the exact plumed version.

(cherry picked from commit ae6c8ee4)

This will decrease the number of pull requests from PlumedBot.

Currently, everytime a file is updated and someone forgets to run
headers.sh, the headers are outdated. With this change, this will happen
once per year. PlumedBot will thus mostly fix erroneous copyrights
(rarely happening).

Plumedbot pull request

This commit contains changes automatically generated by plumedbot on Travis-ci.

Builds are faster on travis. Notice that all developers
recompile the code without this option, so in order to check if the
dependency options are fine we really do not need travis-ci.

with 315e6746