Update documentation, increase version number