ci: Skip ci if only changes in the Documentation directory occurred

In practice we add a job only if any file outside of ./Documentation changed