Symbolic command line args

I think it could be useful if the symbolic executor could handle making command line arguments symbolic. One example would be in parsing an argument that is a path.

Tangentially related, being able to try different combinations of command line arguments could be useful as well as these can direct different paths through the binary 