Restore licenses incorrectly mangled on last push

Update license.php so that doesn't happen again.
Add new ext_hhvm files to .gitignore