Autoload variable `vc-check'
Update .gitignore
Add `with-submodule' macro for tests