Fixes #745: mention good ipopt reference in users_guide
adding more links to interfaces listed in users_guide