added products
products from pullbacks
reduce compile time for pullback
removed rubbish from pullbacks
Merge branch 'master' of github.com:benediktahrens/rezk_completion
manufactured makefile changed automatically