Added doxygen comments for pre and post conditions for functions regarding commitments
Added doxygen comments for pre and post conditions for functions regarding commitments

fredokun/libpiccolort,fredokun/libpiccolort