sagedev.py: create branch upon importing a local patch when a ticket number is specified + fixed regexp