S. Tucker Taft, AdaCore