polytope.plot: shorter lines & minor refactoring
animated partitioning

- polytope.plot.plot_partition: seeded random coloring
    and existing axes arg
- discretize.discretize: plotting option
- updated robot_continuous to offer animated partitioning