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