Adding LLVM 3.4 definition to alloy.py
Fixing run_tests.py to understand LLVM 3.4
Merge pull request #676 from dbabokin/alloy_34

Adding LLVM 3.4 definition to alloy.py