File no-timestamps.patch of Package swipl

diff -Nur swipl-7.4.1/packages/chr/chr_swi_bootstrap.pl new/packages/chr/chr_swi_bootstrap.pl
--- swipl-7.4.1/packages/chr/chr_swi_bootstrap.pl	2016-12-19 09:49:28.000000000 +0100
+++ new/packages/chr/chr_swi_bootstrap.pl	2017-03-17 22:40:25.317544418 +0100
@@ -147,7 +147,8 @@
 
 %% SWI begin
 format_date(Out) :-
-	get_time(Now),
+	getenv("SOURCE_DATE_EPOCH", Time),
+	atom_number(Time, Now),
 	format_time(string(Date), '%+', Now),
 	format(Out, '    Date: ~s~n~n', [Date]).
 %% SWI end
diff -Nur swipl-7.4.1/packages/jpl/src/java/Makefile.in new/packages/jpl/src/java/Makefile.in
--- swipl-7.4.1/packages/jpl/src/java/Makefile.in	2017-01-19 11:45:29.000000000 +0100
+++ new/packages/jpl/src/java/Makefile.in	2017-03-17 22:19:42.901397224 +0100
@@ -86,7 +86,7 @@
 endif
 
 $(JPLDOC):	$(JPLJAVA)
-		"$(JAVADOC)" $(JAVADOCFLAGS) -public -d $(JPLDOC) $(JPLJAVA)
+		"$(JAVADOC)" $(JAVADOCFLAGS) -notimestamp -public -d $(JPLDOC) $(JPLJAVA)
 
 clean::
 	rm -f .class-senitel *~ org/jpl7/*.class org/jpl7/test/*.class org/jpl7/fli/*.class