Rename configOptions() to loadProfile()

I’ll probably add saveProfile() soon, mainly for
ceylon/ceylon-ide-eclipse#987; also CC #74.