Added HHVM support to options-permalink.php

Added global $is_hhvm and added support for it to options-permalink so
admin page functions correctly and hides .php extension and uses proper
notices instead of apache’s.