Merge branch 'master' of github.com:paparazzi/paparazzi into tudelft4.9
Further fixed EasyStarTinySense