Implemented support for void function declarations. Closes #17.
Added urem to bpl preludes.
Added a regression test for extern function calls.
Fixed some issues related to handling external function calls.
One of the arguments to memset/memcpy is of boolean type, and we were by defaults assigning ptr type to all of them. I fixed that now.
Globals are now $refs not $ptrs.