An old (but simple and still useful) drag library for JavaScript