support for dalphanet (types to be used with michelson insertion)

on top of !849 (merged)

--protocol preloads types corresponding to a given protocol

use ligo compile-contract path entrypoint --protocol=X --disable-michelson-typecheking in combination with michelson insertions