Binary downloads for the RepDev IDE