Handle the value-table directive

The RST directive ..value-table:: is now replace with a table of option values. This avoids duplication of option value descriptions.
Update the solver test.
Improve formatting of option descriptions in Gecode.