Extra files

Jeff has ordered that we re-add the mdframed package to the repository so he can compile.
We really ought to get these sorts of dependencies out of the repository though. These files shouldn't be here.