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