Add phpunit, mount lemma and forked ultisnips