Use dotdotdot to shorten URLs

Fixes #125