Remove the avr-gcc-devel port.

There's no longer a point in having both, a regular and a -devel port for
the AVR-GCC. Meanwhile, the regular port was more recent anyway.