Tools and a Python package for ice-penetrating radar