Yet more app improvements

I spent today making several more improvements to my bus app before more students (?) arrive back on campus next month. I started by making it possible to switch off the display of specific information on the trip list screen in case it was too dense for people. I went to finally finish the half-done vehicle lookup feature but then noticed a serious problem: the trip information as called up from departure details was often for the wrong trip. This seems to have been caused by a recent change to code that loads data from the bus company into the database. After fixing that, I did complete the vehicle lookup feature, filling in the missing UI. Finally, I fixed the longstanding strange behavior of navigation directions displaying the bus's whole route shape. The server now tells the app which shape points are associated with stops so that the app can draw just the subsection of the trip that's relevant to the user.