Added a comment about the clingo executable for unix env

Added comment so that users in a unix-like environment can avoid an error by accidentally using 'clingo.exe' when they should be using 'clingo'