Fixes bug 608418 - Stripped the content of the simple search input before verifying it is a UUID.
fixes bug 893837 - Occasional strange python bug due to thread locking in _strptime
Merge pull request #424 from peterbe/bug-893837-occasional-strange-python-bug-due-to-thread-locking-in-_strptime

fixes bug 893837 - Occasional strange python bug due to thread locking _strptime
(no bug) delete toprcrash.js

this is an empty file with a typo in the name
Merge pull request #412 from AdrianGaudebert/608418-trim-quick-search-input

Fixes bug 608418 - Stripped the content of the simple search input befor...
move default EXPLOITABILITY_BATCH_SIZE setting, r=brandonsavage
Fixes bug 891917 - Used the new signature_history service. r=peterbe
Merge pull request #423 from AdrianGaudebert/891917-use-new-sighist-service

Fixes bug 891917 - Used the new signature_history service.