Merge branch 'fix/ivette/marker-location' into 'master'

[kernel] Slightly improves tag location for properties and global variables.

Closes #1247

See merge request frama-c/frama-c!4419