rFSM beta4 released

After a week of heavy testing at the BRICS research camp, I've pushed
beta4 to master. Besides the previously mentioned renaming and
documentation cleanup there should be no visible changes. This release
fixes numerous small issues and includes some performance
optimizations.

Best regards
Markus