Revert "final commit: now defunct"

This reverts commit 6607d29520ef4da951494b14d12267c98d221305.

Conflicts:
	pylib/skymapsampler.py
	scripts/gausmapscan.py