Don't use ext_ctags if not available
Bump version
Build documentation
Merge branch 'hotfix-0.4.1' into develop