v1.2

See this milestone: https://github.com/davidcoutadeur/explockout/milestone/2

The changes are:

• LOG2: compilation bug with recent version of debian (#6)