Adds miniglog submodule