Simplify run-tests by using uiop