v0.9.5

This release fixes the following bugs:
* Global shortest router did not use the shortest path
* Fixes "unintended door" warning. The check now properly evaluates if a
pedestrian has been pushed back over the doorline.