Update Main.ml to read setting from File

Because @yonta wrote some path name utility, I update Main driver by
using this.