Release 0.5: set version number to 0.5