added MavLink_TX & MAvlink_Tx_GPS_Rx to Revomini target
MavLink on revomini. One file was missing on previous pull.
MavLink : missing defines
Revomini: cleaning things
Revomini: stupid mistake in xml.
revomini: still failing in Git...
Merge pull request #895 from KipK/next

added MavLink_TX & MAvlink_Tx_GPS_Rx to Revomini target