Measurement and Improvement of the Tor User Experience