roboptim-core-plugin-ipopt.rb: tag Ipopt as runtime dependency
knitro.rb: Add KNITRO formula
roboptim-core-plugin-knitro.rb: Add formula