Synthesis of low-overhead configurable source routing tables for network interfaces