add more common cfg to DefaultOptions#3

areusch merged 2 commits intoareusch:tutorial-3areusch/tvm:tutorial-3from

weberlo:tutorial-3weberlo/tvm:tutorial-3Copy head branch name to clipboard