0.7.2

releaseHeader('2010-07-12', '0.7.2', '0.7.1')

Quick bugfix (right after 0.7.1) for a problem that prevented coffee command-line options from being parsed in some circumstances.