Revert "Install cidl directly from its git repo"

This reverts commit 6cdeecde5f4331c6a66368bfa937371ea30c9973.