Updated production profile to use the www.jboss.org download manager

Don't merge until www.jboss.org/download-manager is ready.