Prepare version-specific documentation for version 0.5.1
Make the documentation for version 0.5.1 the default
Polish some documentation details for the 0.5.1 release