re-struct: move 'build' and 'test' under 'isabelle'
clean up rtechn