add a reference to the repo for the special version of SDCC with cc1111 sdcdb