Add support for --import-asm-json.

Author: aarlt

Changelog.md

@@ -7,6 +7,7 @@ Compiler Features:
  * Immutable variables can be read at construction time once they are initialized.
  * SMTChecker: Support low level ``call`` as external calls to unknown code.
  * SMTChecker: Add constraints to better correlate ``address(this).balance`` and ``msg.value``.
+ * Commandline Interface: Adds alternative input mode ``--import-asm-json`` to import assembly json.
 
 
 Bugfixes: