Moved storm::Exception into public header file