Add FileChannel#size()

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Merge pull request #111 from dscho/filechannel-size

Add FileChannel#size()