Rename higher-0.1 to higher.0.1
Merge pull request #1498 from yallop/higher.0.1

Rename higher-0.1 directory to higher.0.1