Source code for the Tips and Tricks Demo Theater at the UC 2013