Add (preliminary) Docker development instructions