improve support for EVERY', added support for EVERY

--- a/lib/scripts/convert.pl	Mon Apr 30 12:15:25 2001 +0200
+++ b/lib/scripts/convert.pl	Mon Apr 30 13:17:17 2001 +0200
@@ -60,7 +60,8 @@
   s/ ?\( ?\)/\(\)/g;      # remove space before and inside empty tuples
   s/\(\)([^ ])/\(\) $1/g; # possibly add space after empty tuples
 
-  if(s/^\(EVERY\'\[(.*?)\] *(\d+)\)$/\($1 $2\)/) {
+  s/EVERY *\[(.*?)\]/$1/;
+  if(s/EVERY\'\[(.*?)\] *(\d+)/$1 $2/) {
     $goal = $2;
     s/,/ $goal,/g;
   }