Updates the mavlink repo, removes the hot-patching of the Mavlink code#9

amarburg wants to merge 3 commits intomainapl-ocean-engineering/blue:mainfrom

dev/update_mavlink_git_repoapl-ocean-engineering/blue:dev/update_mavlink_git_repoCopy head branch name to clipboard