Add gen-symbols script.