[common.string] add specialization of Choose for bool

This adds the possibility to convert 'true' and 'false' together with their
uppercase variants to bool. This allows to use an ini file with dune and
python (as it used to be). Fixes #12