Given backdoors processing

-backdoor= parameter was added to alias_ls. This parameter allows setting a file name which contains a backdoor.

README.md was improved

SAT 2018 paper version

• simple GBFS with random jumping
• 2 different scripts for estimating and solving
• sequential minisat-based sampler