Release 0.7: set version number to 0.7