Add GPLv3 licensing for bin/*

bin/dns-sync

@@ -1,5 +1,8 @@
 #!/usr/bin/env python3
 # -*- coding: utf-8 -*-
+# This file is part of dnmgmt, a number resource management system
+# Licensed under GNU General Public License v3 or later
+# Written by Sebastian Lohff (seba@someserver.de)
 import argparse
 import configparser
 import os

bin/import-data

@@ -1,5 +1,8 @@
 #!/usr/bin/env python3
 # -*- coding: utf-8 -*-
+# This file is part of dnmgmt, a number resource management system
+# Licensed under GNU General Public License v3 or later
+# Written by Sebastian Lohff (seba@someserver.de)
 
 import argparse
 import json

bin/markdown-to-html

@@ -1,5 +1,8 @@
 #!/usr/bin/env python3
 # -*- coding: utf-8 -*-
+# This file is part of dnmgmt, a number resource management system
+# Licensed under GNU General Public License v3 or later
+# Written by Sebastian Lohff (seba@someserver.de)
 
 import markdown
 from markdown.extensions.toc import TocExtension

bin/whoisd

@@ -1,5 +1,8 @@
 #!/usr/bin/env python3
 # -*- coding: utf-8 -*-
+# This file is part of dnmgmt, a number resource management system
+# Licensed under GNU General Public License v3 or later
+# Written by Sebastian Lohff (seba@someserver.de)
 
 import argparse
 import socketserver