Make all indices in the Praos specification start at zero

Currently, some indices in the Ouroboros Praos specification start at one (in line with the research papers) and some start at zero (in line with the implementation). We shall change all indices currently starting at one to start at zero, because zero-based indices are typically easier to deal with.