vhdl: working debounce example