If they aren't touching the editor then they don't technically need a license, but to answer your question, unfortunately there are no upgrade options available, you will (at some point) have to buy the multi-user license, or get them to pay for their own indie single user license so that they can work on their own game projects too later on, if they want.