Release version

Prepare the package for release. A non-exhaustive list of tasks includes:

• make documentation
• prepare examples and tutorials
• make the package installable
• fix randomly failing tests

and likely many other things that I fail to recall now.