clean up div_mod.v
- remove file
util.counting.vsince lemmacount_filter_funis equivalent to ssreflect'ssize_filter - add comments in file
div_mod.v
util.counting.v since lemma count_filter_fun is equivalent to ssreflect's size_filter
div_mod.v