chore: ignore files used by docker/prod.yml

No functional changes.

[skip ci]

Author: php-coder

.gitignore

@@ -25,3 +25,7 @@ vagrant/provisioning/roles/php-coder.oraclejdk/
 vagrant/provisioning/roles/php-coder.nginx/
 vagrant/provisioning/roles/mystamps-nginx/files/prod/my-stamps.ru.key
 vagrant/provisioning/roles/mystamps-nginx/files/prod/my-stamps.ru.crt
+
+# used by docker/prod.yml
+docker/application-prod.properties
+docker/mysql_backup_mystamps.sql.gz