Mark the release of 0.8.0 [ci skip]