remove builtin extension examples

since they have all found new homes in external projects
Merge pull request #6934 from minrk/rm-ext-magics

remove builtin extension examples