Clean up some logging and comments. Add glpk bindings for implementing NT decomposition.