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