It appears that you have both a Pipfile and a requirements.txt. Streamlit will use the first one it finds, in this order App dependencies - Streamlit Docs
So, if you delete the Pipfile and Pipfile.lock, then the requirements.txt will be used. Otherwise, you can do pipenv install streamlit-option-menu and delete the requirements.txt