Ignore compiled command-t files
Add convenience script for fetching github PR branches