Rolling circle on circle

From JSXGraph Wiki

The underlying JavaScript code