Remove OLIMEXINO support

This removes support for the obscure OLIMEXINO dev board which nobody ever used for anything useful.