Update getting started guide so that we tell people to use the right

version of uclibc (i.e. from github and not that disgusting tarball)

@ccadar Could you give me commit access to the klee.github.io repository, I tried to push directly and I was denied.