allow balls with holes
add Extrude to basic.py
add pipe geometry
remove ID construction from extra.py
remove unnecessary IDs from basic.py
simplify add_circle()
add rotation for pipes
remove all uses GMSH_CODE from extra.py
don't export IDs by default
remove GMSH_CODE from executables
allow for raw Gmsh code