stop trying to install Boris automatically

It frequently fails because it depends on several PHP extensions,
scaring off new users.

Related: wp-cli/wp-cli#640