For backward compatiblity (for example with Proof), re-add support for .include
For backward compatiblity (for example with Proof), re-add support for .include

karies/cling,root-mirror/cling,marsupial/cling,marsupial/cling,root-mirror/cling,karies/cling,root-mirror/cling,marsupial/cling,perovic/cling,perovic/cling,marsupial/cling,marsupial/cling,root-mirror/cling,perovic/cling,perovic/cling,karies/cling,root-mirror/cling,karies/cling,karies/cling,root-mirror/cling,perovic/cling,karies/cling,marsupial/cling