Bump version number to 0.9.3
Set development version number to 0.9.4-dev