Change version number of dev version from 0.18 to 0.17 in release notes