Stability Certificates for a Model-Based Controller for Autonomous Power Kites