added NuSMV-A welcome message

NuSMV-2.6.0/NuSMV/code/nusmv/core/cinit/cinitVers.c

@@ -237,10 +237,12 @@ void CInit_BannerPrint_zchaff(FILE * file)
 */
 static void cinit_banner_print(FILE* file, boolean is_linked)
 {
-  fprintf(file, "*** This is %s %s (compiled on %s)\n",
-          NuSMVCore_get_tool_name(),
-          NuSMVCore_get_tool_version(),
+  fprintf(file, "*** This is NuSMV-A (compiled on %s)\n",
           NuSMVCore_get_build_date());
+  fprintf(file, "*** NuSMV-A is an extension of %s %s\n",
+          NuSMVCore_get_tool_name(),
+          NuSMVCore_get_tool_version());
+  fprintf(file, "*** For more information on NuSMV-A see <http://github.com/hklarner/NuSMV-A>\n");          
 # ifdef NUSMV_LINKED_CORE_ADDONS
   /* linked addons are printed only if not empty */
   if (strcmp(NuSMVCore_get_linked_addons(), "") != 0) {

readme.md

@@ -1,9 +1,7 @@
 
 ### About NuSMV-a 
 `NuSMV-a` is an extension of `NuSMV 2.6.0` that adds the command line option `-a` for printing and saving the _accepting states_ of queries.
-It was written as part of the bachelor studies at the Freie Universität Berlin.
-
-
+It was written by Frederike Heinitz and Sarah Nee as part of a "software internship" which was supervised by Hannes Klarner at the Freie Universität Berlin.
 
 ### How to use the command line option `-a`