[CI] Allow updating submodules.

This did not work previously, since we are patching the submodules, which makes them dirty, and then git submodule update will refuse to update them.

Closes #96 (closed).