Updated to last virtualrobotix release
Changed and added new VRBrain boards
Added pre-compiled library for NuttX