Cleaner interface for reinit
reinit
now takes the directory to put the patched rv-sources into as an
argument, defaulting to ../llvm/tools/rv. It will no longer touch the current
directory.
Closes: #1 (closed), #2 (closed)
Adresses: https://gitlab.dune-project.org/joe/pacxx-docker/issues/15
Edited by Dr. Jorrit Fahlke