There will likely be library dependencies for the software, and the hardware may require modifications from multiple people. This makes documentation difficult if everyone is using a different environment to develop in.
I'd throw a vote out for just using Arduino and KiCAD since these are both popular and available for anyone to use.
Just throwing it out there for consideration before design progresses too far.