Add options for applying patches to install-dev.sh