design: create arch directories in haskell translator

Architecture directories were previously created in the Makefile, and
not in make_spec.sh. As a result, running make_spec would fail on a
clean repo.

spec/design/Makefile

@@ -29,7 +29,6 @@ MACHINE_FILES += ${MACHINE_PATH}/ARM/MachineTypes.thy
 design : version
 
 version : ${SKEL_FILES} ${MSKEL_FILES} ${HASKELL_FILES}
-	mkdir -p ${ARCH_DIRS}
 	${HASKELL_TRANS}
 
 clean :

tools/haskell-translator/make_spec.sh

@@ -95,6 +95,7 @@ function send_filenames () {
     local arch=${1}
     local archnames=`cd $SKEL/${arch}; ls *.thy`
     local archmnames=`cd $MSKEL/${arch}; ls *.thy`
+    mkdir -p "$SPEC/${arch}"
     mkdir -p "$SPECNONARCH/${arch}"
 
     # Theory files common to all haskell specifications