Merge Jan's changes and bump version.

set_version.sh

 #!/bin/bash
-export version=0.5.1-alpha.10
+export version=0.5.1-alpha.11
 echo "pub const VERSION: &str = \"${version}\";" > src/version.rs

src/version.rs

-pub const VERSION: &str = "0.5.1-alpha.10";
+pub const VERSION: &str = "0.5.1-alpha.11";