bump todo, ivory, tower- doc stuff wrapping up, working on unique names in aadl