Add HISTORY

The history is also being included in the documentation.