Flask hello world and dev server