unified unfold_pseudo and unfold
Merge branch 'master' of github.com:jpata/stpol-unfold

Conflicts:
	Makefile
	unfold.cc