version: fix HISTORY to say that 0.8.0 has been released