Targeted Example Generation for Compilation Errors