Replaced @todo with logging call
Remove double handling from object code
Remove double support from json deserializer
Remove "double"-entry from user documentation of API
Merge pull request #590 from matthiasbeyer/remove-double_support

Remove double support
Merge pull request #585 from matthiasbeyer/fix-object_todos

Remove `@todos` in object code
Moved the heapalloced flag from init to new for ws_named