Killing queries on RDS

This patch lets PHPMyAdmin kill queries through the UI on Amazon RDS, using:

    CALL mysql.rds_kill(99);