Rename `Core_Bisimilarities` to `Basic_Bisimilarities`

[jeltsch]

We shall rename Thorn_Calculus-Core_Bisimilarities to Thorn_Calculus-Basic_Bisimilatities, since “basic bisimilarities” sounds slightly more sensible than “core bisimilarities”.