FD Leak check support

Whenever File.open is used without a block, there's potential to leak
a file descriptor, if the file is not explicitly closed.

This patch adds check for such situation and also a spec test.

Signed-off-by: Balazs Kutil <bkutil@suse.com>