cleanup bash_profile, add html to php ultisnips