Allow relative or absolute paths for ignore files

[Ikutania]

Currently ignore files require an absolute path to the file. It should allow relative paths from the workspace directory as well.

[obicons]

I don’t think this is true. Please be aware the image on docker hub is not necessarily up to date. I think today we match by filename, and ignore the path.

[obicons]

You may try pulling the latest code, building a new Docker image, and then running like this (inside of demos/01):

docker container run  -t -v "$(pwd)":/src/ sa4u-z3 -c /src/compile_commands_dir/ -m /src/CMASI.xml -p /src/ex_prior.json  -i ex.cpp

You should see a message like this:

INFO: Skipping /src/ex.cpp because it is to be ignored

[obicons]

@Ikutania how does this PR fix this issue?