Add link to "Program Boosting: Program Synthesis via Crowd-Sourcing"