Cherry-pick commits to the release branch

24612fa (Felix Gruber, 8 hours ago)
   Fix copyright years in doc/users/doxygen.html

   The year 2013 is already included in the range 2012 - 2014.

435dbba (Bruno Turcksin, 2 hours ago)
   Add instantations for class RungeKutta.