Plumedbot pull request

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

cc: @gtribello

I think this has been here since the beginning, the effect is measurable