Added more properties/types to the angular_ui_router.js externs.