Ignore .CloverTools file

Since this file contains user-specific information, it should be
ignored by git.