Changed header
Removed useless space at end of a line.

Useless commit.
Adding conversion function to MIDI pulses in the interface
Added module MidiV, offering some shared utilities for the manipulation of
MIDI data in the framework defined by the mm library.
Started working on conversion form event type to MIDI
Merge branch 'music_dev' of https://github.com/GL-MPRI-2014/GL_MPRI_2014 into music_dev
Started adding time conversion functions from Time.t to the MIDI sample-based timing.
Minor correction in one failwith return string.
Added documentation for default values
Minor changes to documentation
Minor indentation change
Implemented MIDI conversion, still some things to fix though
Minor changes to documentation
Hid function printf_pitch from interface
Merge branch 'master' into music_dev
Added the most basic documentation
New way to play music asynchronously.
Some log + Pulseaudio can be opened multiple time
Add damage interval function
Added graphical testing (experimental)