Rename intermediate language (now: Core)

[mbenke]

The intermediate language is currently called Core, which can be confusing as we decided to call the high level language "Core Solidity"

Proposed new name: SAIL - Solidity Abstract Intermediate Language