0.8

CHANGES:

• In addition to the package mindstorm, a version of the interface
  using LWT promises has been developed in the package mindstorm-lwt.
• LWT: transactions with the LEGO© brick are atomic.
• Use dune and dune.configurator.
• Improve the documentation