[FIX] Convertion from DS_HASH_TABLE keys to JSON

[oligot]

This is useful when the type of the key is something else than a STRING
and we have a JSON converter for this type.

[jocelyn]

Can you provide a diff for library/gobo/converters/json_ds_hash_table_converter.e
it seems that the end of line has changed or something like that, and the whole text seems different.
So if you can provide a more precise diff (in this discussion for instance)
that would speed up the integration of your patch.

[jocelyn]

bad indentation here and below

[oligot]

The indentation should now be correct with the last commit.