A maple package for automatic theorem proving and discovery in 3D-geometry