Handle special characters in filters

[JawHawk]

Fixes #1015
Fixes #806

Solved the Id filter being removed when other filters are applied by fixing the setURLParameter function.

Added encodeURIComponent in makeFilterSerializer function to escape special characters and decodeURIComponent in tokenizePart function to get the filter value back.
Also fixed decodeFilter for column names having _

[PhilippWendler]

Thanks a lot!

Does the handling of _ and other special characters also work for filters that are set for other textual columns, i.e., not the id column?

I am also a little bit skeptical about the existing filter-parsing logic. Could you please add tests that have just one an opening parentheses? I would like to see that this works as well.

[JawHawk]

I am also a little bit skeptical about the existing filter-parsing logic. Could you please add tests that have just one an opening parentheses? I would like to see that this works as well.

Yes, even the online example https://sosy-lab.github.io/benchexec/example-table/svcomp-simple-cbmc-cpachecker.table.html#/table?filter=id_any(value())) breaks when only one closing parentheses is used. This is due to the tokenizePart function logic of considering '(' and ')'. For this, parantheses in the string values should also be escaped but encodeURIComponent doesn't do so. String values need to be replacedAll with %28 and %29 respectively. That will make it work.

[PhilippWendler]

Thanks for investigating! Would you like to add this to this PR?

[JawHawk]

Thanks for investigating! Would you like to add this to this PR?

I have done the necessary changes. Please review them.

[PhilippWendler]

Thanks a lot! Seems to work fine in my tests. I also like that many unit tests are added, this is always good.

I have just some minimal suggestions left, but otherwise it is ready to merge from my point of view. If you agree, could you please also update the pre-built files?