Add detailed descriptions to enums in package.json

[jossmoff]

To make parsing easier in ConfigurationParser when grouping flags (see esbmc.frontEnd.architecture in package.json) the value of the enum should be the appropriate flag. However, for new users, these flags may not be descriptive enough.

To fix this each enum should have an markdownEnumDescription which accurately describes the type of that flag.