Add NotionsOfNI.v to the build.