Nicer HISTORY file with release dates