Upload docs to merge_request_id on AWS

[r-akemii]

TO-DO:

• Find the environment variable. See: https://stackoverflow.com/questions/59077079/how-to-get-pull-request-number-within-github-actions-workflow
• Re-build the workflow

[r-akemii]

@pedrocamargo I didn't manage to rename "dev" with the PR number due to an error stating that the folder with the PR number in S3 doesn't exist, but I managed to do something like "dev/PR_NUMBER", e.g.: https://aequilibrae.com/python/dev/567/index.html.

Do you think it works?

[pedrocamargo]

It did NOT WORK. The documentation is NOT there.

You probably want to rename the docs folder locally ${{github.event.number}} and upload the entire thing