Updates to the navigation app. We now draw stairs for upstairs and
downstairs. The navigation path is smaller, using only the edges with
"instructions" rather than building the path on the fly. We also
implemented our own compass, with filtering.