Add dev.py
implementing dev command shorthands
#4619
Loading
dev.py
implementing dev command shorthands
#4619