Added early implementation of IDManager.py. For now only used to select ID in URIEditor

2018-11-14, Edouard Tisserant