Allow // comments in builtins.txt; simplify Makefile

Removes // lines at the very start of the line during sed processing, to allow for comments.

Also compact the sed lines into one, using single instead of double quotes, and remove builtins_txt.cc in case sed fails, so that a subsequent 'make' invocation doesn't work on a bogus or incomplete builtins_txt.cc file.