Remove CmdArgType.DevInt (cppTango DEV_INT)
requested to merge 544-how-to-handle-references-to-broken-devint-dev_int-type-in-cpptango-10-x into develop
Closes #544 (closed)
At the kernel meeting on 2023-08-10 we decided to remove CmdArgType.DevInt from PyTango starting from the next release
Edited by Yury Matveyev