GitLab

This adds a bootstrapped configure script from the current master branch. Previously, we didn't commit config scripts, but we probably should from now on.