Fix setup.py / remove tmp HISTORY.txt