Add a -concolic-file option

Another point in the large space of possible options of specifying
symbolic inputs. E.g., like -symbolic-file, but with the difference
between -symbolic-string and -concolic-string.
Disable the c.e. cache for -solve-final-pc

Since a major use of -solve-final-pc is to make sure that the final
query is the one for the whole path.