Support gnome-shell 3.13.1
Bump version to 0.1.8
Merge branch 'release/0.1.8' into develop