Add basic unit testing

Refactors the allowed paths option and removes the redundant declaration in the isabelle config. This also adds basic unit tests for this option.