Inline attribute

This MR introduces the [@ex:inline] attribute. Calls to functions with this attribute are inlined at extraction (as a transformation in compile.ml).

We rely on the fact that the call arguments are always simple variables, and substitute only these variables.