Paper submitted to CAV 2015: “Dear CAV, We Need to Talk About Reproducibility”