Synthesis of Nios II Processor

It's pretty hard to believe that any semiconductor would use a testbench file with synthesis commands in it, but I've heard of even stranger things before, so it doesn't suprise me. For now, I'll keep it in the list of required files for synthesis.