Unify options for generating synthesizable code

[rachitnigam]

trafficstars

Currently we have both --synthesis (which controls the backend) and the -p externalize alias which runs the synthesis passes. We should have exactly one command to trigger everything for you instead (and rename externalize to synthesize)