added server file to compile all prolog files, updated README