General Improvements and bug fixes

1. Gesture feedback messages now appear on top of the gesture location
2. Selected strokes now look thicker and more distinct.
3. Fixed bug where time labels were not removed after a document is
closed