Commit 3ec93dab9ed0cd9a902317deb414723dd5a56ea7

czurnieden 2018-12-12T00:14:05

bugfix in bn_mp_kronecker.c, cleanup and formatting in div. files