Release 0.8: set version number to 0.8