Make miniwob installation automatic.

[amanjaiswal73892]

This pull request introduces a new setup process for the MiniWoB++ environment, adds related utility commands to the Makefile, and updates the documentation to reflect these changes. These updates aim to streamline the setup process and improve clarity for users.

Enhancements to MiniWoB++ setup:

• Automated MiniWoB++ setup in Makefile: Added a setup-miniwob target to automate the cloning of the MiniWoB++ repository, resetting it to a specific commit for reproducibility, and appending the MINIWOB_URL to the .env file. Also included a clean-miniwob target to remove the MiniWoB++ directory.

• Help command in Makefile: Introduced a help target to list all available Makefile commands, including the new MiniWoB++ setup and clean commands.

Documentation updates:

• Automated setup instructions in README.md: Added a new "Option 1: Automated setup" section to guide users in setting up MiniWoB++ using the setup-miniwob Makefile command. Updated the manual setup instructions to reflect the same reproducibility practices.

Description by Korbit AI

What change is being made?

Add automated setup for the MiniWoB++ dependency in the project Makefile, and update the README to include instructions for both automated and manual setup options.

Why are these changes being made?

These changes provide a simplified and efficient process for setting up the MiniWoB++ environment by utilizing a Makefile command, which reduces manual setup errors, ensures reproducibility by locking the repository to a specific commit, and updates the README to reflect these improvements. This approach also offers flexibility by retaining manual installation instructions if automated setup is not suitable for some users.

Is this description stale? Ask me to generate a new description by commenting /korbit-generate-pr-description

[korbit-ai]

I've completed my review and didn't find any issues... but I did find this kitten.

    |\__/,|   (`\
  _.|o o  |_   ) )
-(((---(((--------

Check out our docs on how you can make Korbit work best for you and your team.

Loving Korbit!? Share us on LinkedIn Reddit and X