added minibufexpl
deleted old copy of minibufexpl
Recovered .gitmodules
Okay, .gitmodules had the old name for minibufexpl. fixed now.