coq-function-ninjas package added