[__main__.py] add the standard top comments and `from __future__ import with_statement`