Documentation updated.
Fixed bug in packaging system.

There was an error during upacking the package (docs/ were moved to
html_docs/), so it was impossible to import 'docs' package.
Merge branch 'release' into dev