Merge branch 'develop'

Prepare to do a new release, 0.4000
Prepare for release 0.4000.
add some more things to ignore
Merge tag '0.4000' into develop

Tag 0.4000