ProSec: Fortifying Code LLMs with Proactive Security Alignment