Python-Based Tools for Characterizing Geosynchronous Satellite Behavior and Evaluating Maneuver Prediction Techniques