prepare for 0.13
bump the dev. version number