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
Added owner related functions to buildings
Small fix in building class
Added capture_buildings function
Only ground units can capture buildings
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
Merge branch 'master' into buildings

Conflicts:
	src/common/Building.ml
	src/common/Building.mli
fix merge
Added unbound building and associated functions
buildings config
Merge branch 'master' into buildings

Conflicts:
	src/common/Logics.ml
	src/common/Logics.mli