Add seec::cm::ParamState to represent the state of SeeC-Clang mapped parameters
(either from an LLVM argument or alloca instruction), and use this in
seec::cm::FunctionState to store parameter states.

Make seec::cm::FunctionState add parameter states for byval parameters.

Update the graph generators to work with seec::cm::ParamState.

This closes #28.