Rename main file and add HTML title so it renders better on nbviewer.

Also add short summary at the top.