Merge branch 'develop' into 'master'

Adjusted BeamSearch to work with batch sizes > 1

See merge request !25
2 jobs for master in 5 minutes and 30 seconds (queued for 1 second)
Status Job ID Name Coverage
  Windows
passed #587663
Windows10
masterJobWindows

00:01:44

 
  Linux
passed #587664
masterJobLinux

00:03:45