Tool for creating clickable source code from Idris files