Move -lgmp to end gcc command
Small fix in post.gp
Small fix
Merge branch 'double' into double_powers

Conflicts:
	Makefile