CATKIN_IGNORE files shouldn't be added to repository.

So we can selectively make catkin ignore certain packages.