Technical functionality for inlining

The method Inliner.inline copies the bytecode of a method to the
callsite and modifies it as necessary, see comments in the code.