added tokenizer_config.json

tokenizer_config.json

@@ -0,0 +1,11 @@
+{
+  "name_or_path": "temporal_logic_tokenizer",
+  "special_tokens_map_file": "special_tokens_map.json",
+  "tokenizer_file": "tokenizer.json",
+  "do_lower_case": false,
+  "model_max_length": 500,
+  "bos_token": "/s",
+  "eos_token": "s",
+  "unk_token": "unk",
+  "pad_token": "pad"
+}