release number bumped by export.pike

Rev: src/version.c:1.25

src/version.c

@@ -12,5 +12,5 @@
 void f_version(INT32 args)
 {
   pop_n_elems(args);
-  push_text("Pike v0.5 release 45");
+  push_text("Pike v0.5 release 46");
 }