Symbolic kompile

This pull request fixes the symbolic backend (which stopped working for some unknown reason) and appends a regression test for its functionality. Also, it it follows the same approach as the other backends, by having its own KRun implementation.

@dwightguth @dlucanu Please review.