Removing google serch key.
* GitBook search will be used henceforth (assuming our eventual goal is to host the documentation on GitBook). Google search won't be used any longer.