Cleanup build files a little bit: remove descriptions of Jenkins-targets. Expose Clover, add Eclipse cleanup