verify-code-snippets.pl: strip initial header

This let code snippets online leave off the copyright header, which is
otherwise bulky and off-putting when embedded in a web page.
verify-code-snippets.pl: decode &#160; to space

This is an extension of the &nbsp; hack. For some reason, MediaWiki
encodes some spaces as &#160;, which must be decoded back to spaces.