Adding the Digilent Atlys board as a migen platform target.