message: tools: choose correct dockerhub repo
  This was incorrectly set after the rename.
diff: #!/usr/bin/env sh
  -docker run -it --rm -v $(pwd):/home/user/MAVSDK:z -e LOCAL_USER_ID=`id -u` mavlink/mavsdk-ubuntu-18.04-px4-sitl "$@"
  +docker run -it --rm -v $(pwd):/home/user/MAVSDK:z -e LOCAL_USER_ID=`id -u` mavsdk/mavsdk-ubuntu-18.04-px4-sitl "$@"
  