Remove the doc submodule just to keep things tidy.
Add the infant theme 'oliver' as a submodule.