routing: export from google3#5178

Mizux wants to merge 3 commits into

maingoogle/or-tools:mainfrom

mizux/routinggoogle/or-tools:mizux/routingCopy head branch name to clipboard