Improve install yices script

Add "Let me sudo it for you" if sudo available and if write in includedir is impossible, if shell script read from stdin download from github
Add better option parsing
Add include dir option