move asn1 headers to include/ dir (3/5)

Enable header move. Don't actually move yet.
diff --git a/move-asn1-header-files.sh b/move-asn1-header-files.sh
index 5355230..c16816a 100755
--- a/move-asn1-header-files.sh
+++ b/move-asn1-header-files.sh
@@ -32,4 +32,4 @@
 sed_includes $@
 
 # move sed'ed *.h files to the proper include/dir
-#move_headers $@   TEMPORARILY DISABLED to simplify the diff
+move_headers $@