Reading/writing files in VHDL