Add documentation on UCI options