Fixup of Board mli and renaming of Board functions.
Merge branch 'master' of https://github.com/rand00/lambda-commando