Add Kiama 1.5.3 to available projects list