added python workshop, and also minor changes to html files