Forgot a few things in the previous commit. Minor changes, mostly documentation related.
Forgot a few things in the previous commit. Minor changes, mostly documentation related.

UCI-CARL/embedlib,UCI-CARL/embedlib