v0.13.1

Bugfix release 0.13.1

 -- Fix missing fp_rand symbol in shared library
 -- Fix some parameters in API signatures that should've been const
 -- Bugfixes and improvements contributed by Sebastian Siewior, Reiner Herrmann and Mathias Tausig