Create Hoogle DB on demand, if necessary #47