add caen oncampus for synopsis work while in-network + auto-detect verilog header filetype