affeldt-aist

Should the changes in `imonae_lib.v` be also reported in `monae_lib.v`? (It is easier for maintenance to these two files as similar as possible.)

> Do you suggest redefining it in monae_lib.v? No, this wouldn't be a good idea in that case, but could left a comment, for I am sure that I will...

Maybe you want to double-check this PR while you rebase, because Florent has been contributed a few changes to `category.v` (that have been merged in master), they are perhaps worth...

@davidnowak @availableamphibian Note that Monae 0.7.2 has been released and that this PR has been rebased on master and push-forced.

@davidnowak @availableamphibian Note that we have released infotheo 0.9.1 (that almost does not depend on the stdlb anymore) and that the master of monae is compatible with it (don't mind...