Update LiteIDE to x23.1

If you change this line to `url "https://downloads.sourceforge.net/project/liteide/X23.1/liteide#{version}.macosx.zip"`, we can make future updates easier (see #4910 for details).