improved doku and added many byzantine problem variations