Mapped target file should be extended for more interaction

[NaC-L]

We should be able to write into the mapped file so we can also lift self modifying code.

Problem with this:

• the SMC might not be constant everytime, so in cases like those, we should flag that bytes and use pathsolver