Switch to oslosphinx

It was renamed.

Change-Id: I7ed8e5d62979020af2f26921e50efad9a3489410
Closes-Bug: #1277168