Release 1.2.5: switch to setup tools, fix ignore file bug