Solidity, the Smart Contract Programming Language. Help: $ solc --help