vim: Add project for CCC contracts implementation at work to .vimprojects.