Extra files

Jeff has insisted that we re-add the mdframed package to the repository so he can compile without updating his packages.
We really ought to get these sorts of dependencies out of the repository though.