A repository for the software modules related to the INDIGO city Mobile Applications Development Platform