Update shared library version numbers

See http://www.open-mpi.org/community/lists/devel/2014/03/14324.php