A couple theme updates

We’ve updated Tarski to 1.4 — this is a nice theme with a lot of customization options, including allowing a custom image header. We’ve also installed the new “Movable Manila Modern Mod MU,” an addition by our own Blogs@Law blogger Nathan Paxton derived from a similar theme that was available on the old Manila server.