Enhance edit.php to handle tabs/indents

edit.php is often used to quickly edit text files; use the popular and lightweight taboverride.js to allow tab/indent handling. 

(MIT license: http://github.com/wjbryant/taboverride )