add (size_t)-1 border case tests for strncat and strncmp, and add a bunch of tests for strnlen based on strlen
add (size_t)-1 border case tests for strncat and strncmp, and add a bunch of tests for strnlen based on strlen

ddcc/klee-uclibc-0.9.33.2,majek/uclibc-vx32,waweber/uclibc-clang,ffainelli/uClibc,m-labs/uclibc-lm32,ysat0/uClibc,klee/klee-uclibc,skristiansson/uClibc-or1k,kraj/uclibc-ng,majek/uclibc-vx32,foss-for-synopsys-dwc-arc-processors/uClibc,groundwater/uClibc,hwoarang/uClibc,kraj/uclibc-ng,mephi42/uClibc,ffainelli/uClibc,ChickenRunjyd/klee-uclibc,m-labs/uclibc-lm32,foss-for-synopsys-dwc-arc-processors/uClibc,groundwater/uClibc,foss-xtensa/uClibc,skristiansson/uClibc-or1k,majek/uclibc-vx32,brgl/uclibc-ng,ndmsystems/uClibc,skristiansson/uClibc-or1k,ffainelli/uClibc,m-labs/uclibc-lm32,brgl/uclibc-ng,atgreen/uClibc-moxie,mephi42/uClibc,ysat0/uClibc,ffainelli/uClibc,mephi42/uClibc,ChickenRunjyd/klee-uclibc,wbx-github/uclibc-ng,ffainelli/uClibc,ChickenRunjyd/klee-uclibc,hjl-tools/uClibc,hjl-tools/uClibc,m-labs/uclibc-lm32,foss-xtensa/uClibc,gittup/uClibc,skristiansson/uClibc-or1k,foss-xtensa/uClibc,groundwater/uClibc,hwoarang/uClibc,czankel/xtensa-uclibc,kraj/uClibc,mephi42/uClibc,waweber/uclibc-clang,wbx-github/uclibc-ng,ndmsystems/uClibc,foss-for-synopsys-dwc-arc-processors/uClibc,ddcc/klee-uclibc-0.9.33.2,gittup/uClibc,ysat0/uClibc,wbx-github/uclibc-ng,OpenInkpot-archive/iplinux-uclibc,brgl/uclibc-ng,wbx-github/uclibc-ng,groundwater/uClibc,hjl-tools/uClibc,ChickenRunjyd/klee-uclibc,OpenInkpot-archive/iplinux-uclibc,czankel/xtensa-uclibc,klee/klee-uclibc,kraj/uclibc-ng,kraj/uClibc,czankel/xtensa-uclibc,hwoarang/uClibc,atgreen/uClibc-moxie,ndmsystems/uClibc,foss-xtensa/uClibc,foss-for-synopsys-dwc-arc-processors/uClibc,gittup/uClibc,majek/uclibc-vx32,waweber/uclibc-clang,ysat0/uClibc,hjl-tools/uClibc,hwoarang/uClibc,klee/klee-uclibc,gittup/uClibc,kraj/uClibc,hjl-tools/uClibc,OpenInkpot-archive/iplinux-uclibc,waweber/uclibc-clang,groundwater/uClibc,atgreen/uClibc-moxie,ndmsystems/uClibc,brgl/uclibc-ng,czankel/xtensa-uclibc,atgreen/uClibc-moxie,klee/klee-uclibc,kraj/uClibc,ddcc/klee-uclibc-0.9.33.2,OpenInkpot-archive/iplinux-uclibc,ddcc/klee-uclibc-0.9.33.2,kraj/uclibc-ng