Contract Abstraction : Contract Interfaces

Tasks:

• Add basic support of signatures/interfaces (!2605 (merged))
• Add support for CameLIGO front-end (!2605 (merged))
• Add support for JsLIGO front-end (!2631 (merged))